xen/arm: vgic-v2: Correctly set GICD_TYPER.CPUNumber
authorJulien Grall <julien.grall@linaro.org>
Mon, 16 Feb 2015 14:50:50 +0000 (14:50 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 19 Feb 2015 16:55:48 +0000 (16:55 +0000)
commitfed3569c648f6a13d4dc1ed03d885e9339b85dea
tree7bbcfa5caf00ac5b878f35c055ea44672e11ca7c
parentb69707118babd90b56e07a747ea698bd90a2cf74
xen/arm: vgic-v2: Correctly set GICD_TYPER.CPUNumber

The number of implemented CPU interfaces is one more than the value of
this field.

Also avoid hardcoding the shift and remove useless mask.

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/vgic-v2.c